This is, to the best of my knowledge, the first published attempt at a rigorous logical formalization of a passage in Leibniz's Monadology. The method we followed was suggested by Johannes Czermak.

In this chapter, we attempt to show that J.P. Moreland's understanding of apologetics is beautifully positioned to counter resistance to a rationally defensible Christianity—resistance arising from the mistaken idea that any rational defense will fail to support or even undermine relationship. We look first at Paul Moser's complaint that since rational apologetics doesn’t prove the God of Christianity, it falls short of delivering what matters most—a personal agent worthy of worship and relationship. We then consider John Wilkinson's charge that the (...) use of reason and argument in evangelistic contexts is relationally futile. Since people aren’t looking for arguments, and logic is an arbitrary human invention, we should present Christianity to others as an irrational faith story. (shrink)

The translations of Holy Scripture to the local European languages in the beginning of Reformation were usually based on Latin Bible. It's language was vastly different from the dialects used by the Old Testament prophets and Christ. By raising the question of the contents of their teachings in A Theologico-Political Treatise, Spinoza underlined the necessity of basing the translations on the sources most approximate to the Hebrew versions of the parables and teachings, initially passed by oral speech only. According to (...) him, the knowledge of the Hebrew language and the traditions of the nation of Israel allowed to distinguish the essence of religion (the contents of the faith) from the tools of providing credibility to the prophecies and from means serving the consolidation of these contents (the religious cult). Up to that point, Jews and Christians alike treated the biblical message as a "sacred" script, not as a record of moral guidelines passed with a simple, common language acommodated to the sensibility of the archaic fishermen, hunters, farmers and merchants. In A Theologico-Political Treatise, Spinoza employed his own method of deciphering the chosen fragments of the Hebrew Bible, sharing the philological and historical knowledge he found useful in bringing out the universal moral guidelines, comprehensible to the "pure mind" and comprising the very meaning of faith. (shrink)

The problem of evil is set out as a dialectic between theist and critic, the aim being to reveal the place of ethical judgments in the theist's apology. I discover what ethical judgments, both normative and descriptive, are implicit in the theist's use of his premises as good reasons, and where his reasoning goes astray. I suggest what ethical judgments, in contrast to the theist's, are supported by good reasons.

Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to normative constraints on reasoning? Hitherto, defenders of the normativity of logic have exclusively focussed on identifying adequate validity bridge principles: principles linking validity facts—facts of the form 'gamma entails phi'—to normative constraints on reasoning. This paper argues for two claims. First, for the time being at least, Harman’s (...) challenge cannot be surmounted by articulating validity bridge principles. Second, Harman’s challenge can be met by articulating invalidity bridge principles: principles linking invalidity facts of the form 'gamma does not entail phi' to normative constraints on reasoning. In doing so, I provide a novel defence of the normativity of logic. (shrink)

Decision-making under normative uncertainty requires an agent to aggregate the assessments of options given by rival normative theories into a single assessment that tells her what to do in light of her uncertainty. But what if the assessments of rival theories differ not just in their content but in their structure -- e.g., some are merely ordinal while others are cardinal? This paper describes and evaluates three general approaches to this "problem of structural diversity": structural enrichment, structural depletion, and multi-stage (...) aggregation. All three approaches have notable drawbacks, but I tentatively defend multi-stage aggregation as least bad of the three. (shrink)

ABSTRACT Average utilitarianism and several related axiologies, when paired with the standard expectational theory of decision-making under risk and with reasonable empirical credences, can find their practical prescriptions overwhelmingly determined by the minuscule probability that the agent assigns to solipsism—that is, to the hypothesis that there is only one welfare subject in the world, namely, herself. This either (i) constitutes a reductio of these axiologies, (ii) suggests that they require bespoke decision theories, or (iii) furnishes an unexpected argument for ethical (...) egoism. (shrink)

Eleonore Stump claims in her book "Wandering in Darkness" that the problem of evil can be solved best by the help of narratives. This - so Stump - is due to the fact that narratives allow one to get a general view about relevant parts of the discussion of suffering. In this context she distinguishes the more detailed view of the discussion from a more general one by two different modes of cognition: the mode of gathering "knowledge that" and that (...) one of gathering "knowledge how". Knowledge by narratives is a subcategory of the last-mentioned one. In the paper I argue for the thesis that this distinction is not really crucial for Stump's argumentation and that in fact only "knowledge that" is relevant for her proposed solution. (shrink)

According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...) logical pluralisms are inconsistent with the normativity of logic as they entail contradictory claims about how agents ought to reason. Thus, if logic is normative for reasoning, these pluralisms are untenable. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

In this chapter, we argue that the web is a poietically- enabling environment, which both enhances and requires the development of a “constructionist ethics”. We begin by explaining the appropriate concept of “constructionist ethics”, and analysing virtue ethics as the primary example. We then show why CyberEthics (or Computer Ethics, as it is also called) cannot be based on virtue ethics, yet needs to retain a constructionist approach. After providing evidence for significant poietic uses of the web, we argue that (...) ethical constructionism is not only facilitated by the web, but is also what the web requires as an ethics of the digital environment. In conclusion, we relate the present discussion to standard positions in CyberEthics and to a broader project for Information Ethics. (shrink)

The paper provides a critical review of the debate on the foundations of Computer Ethics (CE). Starting from a discussion of Moor’s classic interpretation of the need for CE caused by a policy and conceptual vacuum, five positions in the literature are identified and discussed: the “no resolution approach”, according to which CE can have no foundation; the professional approach, according to which CE is solely a professional ethics; the radical approach, according to which CE deals with absolutely unique issues, (...) in need of a unique approach; the conservative approach, according to which CE is only a particular applied ethics, discussing new species of traditional moral issues; and the innovative approach, according to which theoretical CE can expand the metaethical discourse with a substantially new perspective. In the course of the analysis, it is argued that, although CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the adoption of standard macroethics, such as Utilitarianism and Deontologism, as the foundation of CE and hence to prompt the search for a robust ethical theory. Information Ethics (IE) is proposed for that theory, as the satisfactory foundation for CE. IE is characterised as a biologically unbiased extension of environmental ethics, based on the concepts of information object/infosphere/entropy rather than life/ecosystem/pain. In light of the discussion provided in this paper, it is suggested that CE is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, IE. (shrink)

Generalized Darwinism models cultural development as an evolutionary process, where traits evolve through variation, selection, and inheritance. Inheritance describes either a discrete unit’s transmission or a mixing of traits. In this article, we compare classical models of cultural evolution and generalized population dynamics with respect to blending inheritance. We identify problems of these models and introduce our model, which combines relevant features of both. Blending is implemented as success-based social learning, which can be shown to be an optimal strategy.

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

The use of "levels of abstraction" in philosophical analysis (levellism) has recently come under attack. In this paper, we argue that a refined version of epistemological levellism should be retained as a fundamental method, which we call the method of abstraction. After a brief introduction, in section two we make clear the nature and applicability of the (epistemological) method of levels of abstraction. In section three, we show the fruitfulness of the new method by applying it to five case studies: (...) the concept of agenthood, the Turing test, the definition of emergence, quantum observation and decidable observation. In section four, we further characterise and support the method by distinguishing it from three other forms of "levellism": (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In this context, we also briefly address the problems of relativism and antirealism. In the conclusion, we indicate some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

Karl Popper discovered in 1938 that the unconditional probability of a conditional of the form ‘If A, then B’ normally exceeds the conditional probability of B given A, provided that ‘If A, then B’ is taken to mean the same as ‘Not (A and not B)’. So it was clear (but presumably only to him at that time) that the conditional probability of B given A cannot be reduced to the unconditional probability of the material conditional ‘If A, then B’. (...) I describe how this insight was developed in Popper’s writings and I add to this historical study a logical one, in which I compare laws of excess in Kolmogorov probability theory with laws of excess in Popper probability theory. (shrink)

I set up two axiomatic theories of inductive support within the framework of Kolmogorovian probability theory. I call these theories ‘Popperian theories of inductive support’ because I think that their specific axioms express the core meaning of the word ‘inductive support’ as used by Popper (and, presumably, by many others, including some inductivists). As is to be expected from Popperian theories of inductive support, the main theorem of each of them is an anti-induction theorem, the stronger one of them saying, (...) in fact, that the relation of inductive support is identical with the empty relation. It seems to me that an axiomatic treatment of the idea(s) of inductive support within orthodox probability theory could be worthwhile for at least three reasons. Firstly, an axiomatic treatment demands from the builder of a theory of inductive support to state clearly in the form of specific axioms what he means by ‘inductive support’. Perhaps the discussion of the new anti-induction proofs of Karl Popper and David Miller would have been more fruitful if they had given an explicit definition of what inductive support is or should be. Secondly, an axiomatic treatment of the idea(s) of inductive support within Kolmogorovian probability theory might be accommodating to those philosophers who do not completely trust Popperian probability theory for having theorems which orthodox Kolmogorovian probability theory lacks; a transparent derivation of anti-induction theorems within a Kolmogorovian frame might bring additional persuasive power to the original anti-induction proofs of Popper and Miller, developed within the framework of Popperian probability theory. Thirdly, one of the main advantages of the axiomatic method is that it facilitates criticism of its products: the axiomatic theories. On the one hand, it is much easier than usual to check whether those statements which have been distinguished as theorems really are theorems of the theory under examination. On the other hand, after we have convinced ourselves that these statements are indeed theorems, we can take a critical look at the axioms—especially if we have a negative attitude towards one of the theorems. Since anti-induction theorems are not popular at all, the adequacy of some of the axioms they are derived from will certainly be doubted. If doubt should lead to a search for alternative axioms, sheer negative attitudes might develop into constructive criticism and even lead to new discoveries. -/- I proceed as follows. In section 1, I start with a small but sufficiently strong axiomatic theory of deductive dependence, closely following Popper and Miller (1987). In section 2, I extend that starting theory to an elementary Kolmogorovian theory of unconditional probability, which I extend, in section 3, to an elementary Kolmogorovian theory of conditional probability, which in its turn gets extended, in section 4, to a standard theory of probabilistic dependence, which also gets extended, in section 5, to a standard theory of probabilistic support, the main theorem of which will be a theorem about the incompatibility of probabilistic support and deductive independence. In section 6, I extend the theory of probabilistic support to a weak Popperian theory of inductive support, which I extend, in section 7, to a strong Popperian theory of inductive support. In section 8, I reconsider Popper's anti-inductivist theses in the light of the anti-induction theorems. I conclude the paper with a short discussion of possible objections to our anti-induction theorems, paying special attention to the topic of deductive relevance, which has so far been neglected in the discussion of the anti-induction proofs of Popper and Miller. (shrink)

In paragraph 21 of his "Logic of Scientific Discovery", Karl Popper characterizes with the help of two seemingly synonymous definitions the falsifiability of a theory as a logical relation between the theory itself and its basic statements. It is shown that his definitions do not agree with each other, and this result is applied to the problem of the falsifiability of contradictions, to the difference between falsifiable and empirical statements and to the demarcation criterion.

This article presents a comparative theory of subjective argument strength simple enough for application. Using the axioms and corollaries of the theory, anyone with an elementary knowledge of logic and probability theory can produce an - at least minimally rational - ranking of any set of arguments according to their subjective strength, provided that the arguments in question are descriptive ones in standard form. The basic idea is that the strength of argument A as seen by person x is a (...) function of three values: x ’s degree of belief in the premisses of A; x ’s degree of belief in the conclusion of A under the assumption that all premisses of A are true; and x ’s belief in the conclusion of A under the assumption that not all premisses of A are true. (shrink)

Es werden vier verbreitete Verwendungsweisen des Wortes ‘Argument’ beschrieben, an Beispielen erläutert und dann schrittweise expliziert. Die wichtigsten Explikata sind: ‘eine Satzfolge x ist ein deskriptives Argument in Standardform’, ‘ein deskriptives Argument x in Standardform ist bei der subjektiven Wahrscheinlichkeitsverteilung p stark (bzw. schwach)’, ‘ein Aussagesatz x ist bei der subjektiven Wahrscheinlichkeitsverteilung p ein Argument für (bzw. gegen) einen Aussagesatz y’, ‘ein geordneter Tripel x von deskriptiven Argumenten in Standardform, von Argumentebenen und von Argumentsträngen ist eine deskriptive Argumenthierarchie in Standardform’, (...) ‘eine deskriptive Argumenthierarchie x in Standardform ist gültig (bzw. ungültig; stichhaltig; konsistent; inkonsistent; sichtlich zirkelhaft; stark (bzw. schwach) bei der subjektiven Wahrscheinlichkeitsverteilung p)’. (shrink)

'People travelled for numerous reasons,' so J.W. Drijvers submits at the beginning of his piece on travel and pilgrimage literature. Be it ‘commerce, government affairs, religion, education, military business or migration,’ people ‘made use of the elaborate system of roads and modes of transport such as wagons, horses and boats’ to traverse the far-reaching stretches of the Roman Empire. And for 4th century Christians in particular, participating in religious festivals as well as interaction with holy sites, sacred artifacts and clergymen (...) had become greater a reason to travel still. Motivation to travel, in other words, was aplenty. But what exactly allowed for Christian religious travel in the 4th century AD to develop as quickly as it did? (shrink)

Eleonore Stump claims in her book 'Wandering in Darkness' that the problem of evil can be solved best by the help of narratives. In this review her argumentation for this claim is explicated.

Zwischen 1987 und 1994 sandte ich 20 Briefe an Karl Popper. Die meisten betrafen Fragen bezüglich seiner Antiinduktionsbeweise und seiner Wahrscheinlichkeitstheorie, einige die organisatorische und inhaltliche Vorbereitung eines Fachgesprächs mit ihm in Kenly am 22. März 1989 (worauf hier nicht eingegangen werden soll), einige schließlich ganz oder in Teilen nicht-fachliche Angelegenheiten (die im vorliegenden Bericht ebenfalls unberücksichtigt bleiben). Von Karl Popper erhielt ich in diesem Zeitraum 10 Briefe. Der bedeutendste ist sein siebter, bestehend aus drei Teilen, geschrieben am 21., 22. (...) und 23. Oktober 1992, in dem er eine Vorform jener Definition der probabilistischen Unabhängigkeit entwickelte, die er 1994 im neuen Anhang *XX der 10. Auflage seiner Logik der Forschung (LdF) der wissenschaftstheoretischen Forschergemeinde vorstellte. Der berührendste ist sein letzter, geschrieben am 26. Juli 1994, in dem er trotz Erschöpfung mit Humor schildert, wie mühselig der Druck des Anhangs *XX verlaufen ist. Mein Bericht ist zugleich chronologisch und systematisch gegliedert: die ersten, vergleichsweise wenigen Briefe, großteils 1987 geschrieben, handeln von der Induktion; der große Rest, zeitlicher Schwerpunkt 1992, beschäftigt sich mit der Wahrscheinlichkeitstheorie. Das Kapitel 1 über Induktion ist in vier Abschnitte unterteilt: 1.1 Das Popper/Miller-Argument: eine Nachkonstruktion, 1.2 Karl Poppers Brief vom 25.8.1987: Deduktive Stützung, 1.3 Karl Poppers Brief vom 29.9.1987: Nochmals zur deduktiven Stützung, 1.4 Echt induktive Stützung und Schwächung: zwei eigene Beweise. Das Kapitel 2 über Wahrscheinlichkeit ist ebenfalls in vier Abschnitte unterteilt: 2.1 Ein Mangel an Überschußgesetzen in der Logic of Scientific Discovery, 2.2 Probabilistische Unabhängigkeit, 2.3 Wahrscheinlichkeitstheorie und Wahrscheinlichkeitssemantik, 2.4 Die neue Unabhängigkeitsdefinition im Anhang *XX der LdF. (shrink)

Bolzano hat seine Wahrscheinlichkeitslehre in 15 Punkten im § 14 des zweiten Teils seiner Religionswissenschaft sowie in 20 Punkten im § 161 des zweiten Bandes seiner Wissenschaftslehre niedergelegt. (Ich verweise auf die Religionswissenschaft mit 'RW II', auf die Wissenschaftslehre mit 'WL II'.) In der RW II (vgl. p. 37) ist seine Wahrscheinlichkeitslehre eingebettet in seine Ausführungen "Über die Natur der historischen Erkenntniß, besonders in Hinsicht auf Wunder", und die Lehrsätze, die er dort zusammenstellt, dienen dem ausdrücklichen Zweck, mit mathematischem Rüstzeug (...) Lehrmeinungen entgegentreten zu können, gemäß denen Wundererzählungen keine Glaubwürdigkeit zukommen könne. In der WL II (vgl. p. 171) führt Bolzano im großen und ganzen dieselben Lehrsätze an wie in der RW II, entwickelt nun aber die Wahrscheinlichkeitslehre innerhalb seiner Lehre von den Sätzen an sich. Dabei orientiert er sich zwar durchaus an den Lehrsätzen in den damaligen "Schriften über die Wahrscheinlichkeitsrechnung" (vg. WL II, p. 190), korrigiert aber dort, wo es ihm nötig erscheint (vgl. WL II, pp. 187–191), und leistet so im Grunde eine Reformulierung des elementaren Teils der Wahrscheinlichkeitslehre seiner Zeit innerhalb seiner logischen Theorie von den Sätzen an sich. — Ich bezwecke hier keine historische Studie über Bolzanos Wahrscheinlichkeitslehre, obwohl es von Interesse sein mag, herauszuschälen, worin Bolzano mit welchen Wahrscheinlichkeitstheoretikern seiner Zeit übereinstimmt, und worin nicht, insbesondere welche Schwächen von Bolzanos Wahrscheinlichkeitslehre Schwächen aller damaligen Wahrscheinlichkeitslehren waren. Eine wichtige systematische Studie über Bolzanos Wahrscheinlichkeitslehre bestünde — wie von Berg (1962, pp. 148-149) ansatzweise begonnen — in einer exakten Rekonstruktion seiner Wahrscheinlichkeitslehre innerhalb eines konsistenten logischen Systems der Sätze an sich. Ich werde im folgenden etwas bei weitem Bescheideneres, doch möglicherweise durchaus Fruchtbares versuchen, nämlich die Lehrsätze von Bolzanos Wahrscheinlichkeitslehre in die Sprache einer heutigen Wahrscheinlichkeitstheorie zu übersetzen und die übersetzten Lehrsätze dort herzuleiten, soweit dies möglich ist. Man könnte dann in einem zweiten Schritt, der hier nicht mehr unternommen wird, untersuchen, inwieweit jene Thesen, die den Herleitungstest überstanden haben, jenen Zweck erfüllen, den Bolzano ihnen ursprünglich zugedacht hat: als mathematisches Rüstzeug für seine Argumentationen gegen die Auffassung zu dienen, Wundererzählungen könnten nicht glaubwürdig sein. (shrink)

Paul Weingartner's classification of the sciences is analyzed in detail. There is a small mistake in the definition of the set of descriptive-normative sciences, which makes the classification incorrect, but which can easily be remedied.

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

740 page life in letters, including all Hegel's available letters at time of publication by Indiana University Press in 1984 tied together by a running commentary by Clark Butler. The volume is in a searchable PDF format. Publication was supported by a Major Grant by the National Endowment of the Humanities (NEH).

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where (...) expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

Ausgangspunkt ist die Frage, was Masse ist, wodurch sie insbesondere befähigt ist, Dauer zu konstituieren und deshalb - im Sinn des kinematischen Relativitätsprinzips - ebenso als bewegt wie als ruhend betrachtet werden kann. In einem Gedankenexperiment wird diese Frage, in Umkehrung der Perspektive, hier nicht von der Masse selbst, sondern von einer stehenden Lichtwelle her angegangen. In diesem Modell lassen sich masse-analoge Strukturen rekonstruieren, die in relativer Bewegung sein können. Die (empirisch bekannte) Unabhängigkeit der Lichtgeschwindigkeit vom Bezugssystem ist dabei nicht (...) vorausgesetzt. Doch kann gezeigt werden, dass die Lichtgeschwindigkeit Grenzgeschwindigkeit solcher relativer Bewegungen ist, dass dies für alle durch masse-analoge Strukturen konstituierte, relativ zueinander gleichförmig bewegten Bezugssysteme gilt und dass die Lichtgeschwindigkeit selbst in allen diesen Systemen gleich ist. Die Absolutheit der Lichtgeschwindigkeit und die Relativität der Massebewegungen erweisen sich so als zwar differente, aber intrinsisch zusammengehörende Momente des kinematischen Relativitätsprinzips: ein Beitrag zu einer Philosophie der Relativitätstheorie. - Die mathematischen Zusammenhänge werden im Anhang ausführlicher dargelegt. (shrink)

Dawkins’ Ballet In the Garden of Theology. A Critical Assessment of Richard Dawkins’ Epistemological Theses On Theistic Beliefs From The God Delusion. Part I My paper presents a detailed analysis and assessment of Richard Dawkins’ epistemological theses from The God Delusion concerning the nature of religious belief, the existence of God and treating belief in God as a scientific hypothesis. In the first part of the article, I am interpreting Dawkins’ statement that atheism deserves respect as an epistemic achievement. I (...) suggest that rationality of that assessment depends on Dawkins’ success in arguing that science shows that God does not exist. My second aim is to show that the real object of Dawkins’ attack is not some abstract theistic hypothesis, as he suggests, but the Western ethical monotheism, mainly the Christian faith in God. If I am right, then his rejection of thus interpreted theism is not enough to justify his more general thesis that God hypothesis is false or improbable. The first part of the paper prepares the ground for the second, with criticism of Dawkins’ reasoning to the conclusion that almost certainly there is no God. (shrink)

According to robust virtue epistemology , knowledge is type-identical with a particular species of cognitive achievement. The identification itself is subject to some criticism on the grounds that it fails to account for the anti-luck features of knowledge. Although critics have largely focused on environmental luck, the fundamental philosophical problem facing RVE is that it is not clear why it should be a distinctive feature of cognitive abilities that they ordinarily produce beliefs in a way that is safe. We propose (...) a novel way to resolve this problem. Key to our proposal will be an appreciation of different representational states beholden to truth. We suggest these different representational states are distinguished by how, in the proper governance of these states, the twin goods of attaining truth and avoiding error are weighted. Moreover, we explain how varieties of representational states line up with varieties of cognitive achievement such that knowledge, cum cognitive achievement, must be safe because of the kind of attempt at success that belief is—namely, an attempt that places the premium it does on avoiding error. (shrink)

The current study is a pilot trial to examine the effects of a nonelective, classroom-based, teacher-implemented, mindfulness meditation intervention on standard clinical measures of mental health and affect in middle school children. A total of 101 healthy sixth-grade students (55 boys, 46 girls) were randomized to either an Asian history course with daily mindfulness meditation practice (intervention group) or an African history course with a matched experiential activity (active control group). Self-reported measures included the Youth Self Report (YSR), a modified (...) Spielberger State-Trait Anxiety Inventory, and the Cognitive and Affective Mindfulness Measure –Revised. Both groups decreased significantly on clinical syndrome subscales and affect but did not differ in the extent of their improvements. Meditators were significantly less likely to develop suicidal ideation or thoughts of self-harm than controls. These results suggest that mindfulness training may yield both unique and non-specific benefits that are shared by other novel activities. (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

Debate on free will with Christian List, Gregg Caruso, and Cory Clark. The exchange is focused on Christian List's book Why Free Will Is Real.

People are ‘biased toward the future’: all else being equal, we typically prefer to have positive experiences in the future, and negative experiences in the past. Several explanations have been suggested for this pattern of preferences. Adjudicating among these explanations can, among other things, shed light on the rationality of future-bias: For instance, if our preferences are explained by unjustified beliefs or an illusory phenomenology, we might conclude that they are irrational. This paper investigates one hypothesis, according to which future-bias (...) is explained by our having a phenomenology that we describe, or conceive of, as being as of time robustly passing. We empirically tested this hypothesis and found no evidence in its favour. Our results present a puzzle, however, when compared with the results of an earlier study. We conclude that although robust passage phenomenology on its own probably does not explain future-bias, having this phenomenology and taking it to be veridical may contribute to future-bias. (shrink)

The purpose of this article is to show a structural relationship in Dutch between sentences with the main verb "duren" (last) and specifying complements such as een week (a week) or "drie kwartier" (three quarters of an hour) on the one hand, and sentences with Duration Measuring Adverbials such as "gedurende een week" (for a week), "gedurende die week" (lit: for that week) on the other.

Common everyday materials such as textiles, foodstuffs, soil or skin can have complex, mutable and varied appearances. Under typical viewing conditions, most observers can visually recognize materials effortlessly, and determine many of their properties without touching them. Visual material perception raises many fascinating questions for vision researchers, neuroscientists and philosophers, yet has received little attention compared to the perception of color or shape. Here we discuss some of the challenges that material perception raises and argue that further philosophical thought should (...) be directed to how we see materials. (shrink)

Philosophers have long noted, and empirical psychology has lately confirmed, that most people are “biased toward the future”: we prefer to have positive experiences in the future, and negative experiences in the past. At least two explanations have been offered for this bias: belief in temporal passage and the practical irrelevance of the past resulting from our inability to influence past events. We set out to test the latter explanation. In a large survey, we find that participants exhibit significantly less (...) future bias when asked to consider scenarios where they can affect their own past experiences. This supports the “practical irrelevance” explanation of future bias. It also suggests that future bias is not an inflexible preference hardwired by evolution, but results from a more general disposition to “accept the things we cannot change”. However, participants still exhibited substantial future bias in scenarios in which they could affect the past, leaving room for complementary explanations. Beyond the main finding, our results also indicate that future bias is stake-sensitive and that participants endorse the normative correctness of their future-biased preferences and choices. In combination, these results shed light on philosophical debates over the rationality of future bias, suggesting that it may be a rational response to empirical realities rather than a brute, arational disposition. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

All else being equal, most of us typically prefer to have positive experiences in the future rather than the past and negative experiences in the past rather than the future. Recent empirical evidence tends not only to support the idea that people have these preferences, but further, that people tend to prefer more painful experiences in their past rather than fewer in their future (and mutatis mutandis for pleasant experiences). Are such preferences rationally permissible, or are they, as time-neutralists contend, (...) rationally impermissible? And what is it that grounds their having the normative status that they do have? We consider two sorts of arguments regarding the normative status of future-biased preferences. The first appeals to the supposed arbitrariness of these preferences, and the second appeals to their upshot. We evaluate these arguments in light of the recent empirical research on future-bias. (shrink)

This paper provides a retrospective and prospective overview of TU Delft’s approach to engineering ethics education. For over twenty years, the Ethics and Philosophy of Technology Section at TU Delft has been at the forefront of engineering ethics education, offering education to a wide range of engineering and design students. The approach developed at TU Delft is deeply informed by the research of the Section, which is centered around Responsible Research and Innovation, Design for Values, and Risk Ethics. These theoretical (...) approaches are premised on the notion that technologies are inherently value-laden, and as such contain the possibility of fostering or hindering moral values. Each of these approaches encourages students to take a proactive attitude with respect to their projects and profession, thinking creatively about – and taking responsibility for – how to both prevent harm and do good via the technologies they help develop. To explain how this is put into practice, this paper sketches a brief history of ethics teaching at TU Delft, outlines current activities, and presents future plans for Bachelor and Master’s level engineering ethics education at TU Delft. (shrink)

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (shrink)

Precision Medicine is driven by the idea that the rapidly increasing range of relatively cheap and efficient self-tracking devices make it feasible to collect multiple kinds of phenotypic data. Advocates of N = 1 research emphasize the countless opportunities personal data provide for optimizing individual health. At the same time, using biomarker data for lifestyle interventions has shown to entail complex challenges. In this paper, we argue that researchers in the field of precision medicine need to address the performative dimension (...) of collecting data. We propose the fun-house mirror as a metaphor for the use of personal health data; each health data source yields a particular type of image that can be regarded as a ‘data mirror’ that is by definition specific and skewed. This requires competence on the part of individuals to adequately interpret the images thus provided. (shrink)

This article provides a philosophical response to the need for truth-telling about colonial history, focussing on the Australian context. The response consists in inviting philosophers and the public to engage in social-justice practices specified by a model called Distributed Truth-Telling (DTT), which integrates the historiography of injustices affecting Indigenous peoples with insights from social philosophy and cultural evolution theory. By contrast to official and large-scale truth commissions, distributed truth-telling is a set of non-elitist practices that weave three components: first, multisite, (...) multiformat, and multiscale inquiries into injustices; second, remedial imaginings and reasoning about moral repair and reconciliated futures; and finally, emotions suitable for motivating agents to cooperatively plan and implement moral revolutions. Distributed truth-telling can entrench virtuous feedback loops that contribute to moral revolutions. However, vicious feedback loops associated with collective denial and biases can impair distributed truth- telling and thwart moral revolutions. (shrink)

Freud proposes that in unconscious processing, logical connections are also (heavily) based upon phonological similarities. Repressed concerns, for example, would also be expressed by way of phonologic ambiguity. In order to investigate a possible unconscious influence of phonological similarity, 31 participants were submitted to a tachistoscopic subliminal priming experiment, with prime and target presented at 1ms. In the experimental condition, the prime and one of the 2 targets were phonological reversed forms of each other, though graphemically dissimilar (e.g., “nice” and (...) “sign”); in the control condition the targets were pseudo-randomly attributed to primes to which they don’t belong. The experimental task was to “blindly” pick the choice most similar to the prime. ERPs were measured with a focus on the N320, which is known to react selectively to phonological mismatch in supraliminal visual word presentations. The N320 amplitude-effects at the electrodes on the midline and at the left of the brain significantly predicted the participants’ net behavioral choices more than half a second later, while their subjective experience is one of arbitrariness. Moreover, the social desirability score (SDS) significantly correlates with both the behavioral and the N320 brain responses of the participants. It is proposed that in participants with low SDS the phonological target induces an expected reduction of N320 and this increases their probability to pick this target. In contrast, high defensive participants have a perplexed brain reaction upon the phonological target, with a negatively peaking N320 as compared to control and this leads them to avoid this target more often. Social desirability, which is understood as reflecting defensiveness, might also manifest itself as a defense against the (energy-consuming) ambiguity of language. The specificity of this study is that all of this is happening totally out of awareness and at the level of very elementary linguistic distinctions. (shrink)

Consciousness and evolution are complex phenomena. It is sometimes thought that if adaptation explanations for some varieties of consciousness, say, conscious visual perception, can be had, then we may be reassured that at least those kinds of consciousness are not epiphenomena. But what if other varieties of consciousness, for example, dreams, are not adaptations? We sort out the connections among evolution, adaptation, and epiphenomenalism in order to show that the consequences for the nature and causal efficacy of consciousness are not (...) as dire as has sometimes been supposed. (shrink)